Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

A Unified Completeness Theorem for Quantified Modal Logics

Рік:
2002
Мова:
english
Файл:
PDF, 2.55 MB
english, 2002
2

Quantified Modal Logic With Rigid Terms

Рік:
1988
Мова:
english
Файл:
PDF, 511 KB
english, 1988
4

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms ||

Рік:
2003
Мова:
english
Файл:
PDF, 16.87 MB
english, 2003
5

A Cut-Free Calculus For Dummett's LC Quantified

Рік:
1989
Мова:
english
Файл:
PDF, 527 KB
english, 1989
7

Intuitionistic Logic Freed of All Metarules

Рік:
2007
Мова:
english
Файл:
PDF, 1017 KB
english, 2007
9

Weak Logics with Strict Implication

Рік:
1987
Мова:
english
Файл:
PDF, 838 KB
english, 1987
10

Completeness theorem for dummett's LC quantified and some of its extensions

Рік:
1992
Мова:
english
Файл:
PDF, 873 KB
english, 1992
11

A logic characterized by the class of connected models with nested domains

Рік:
1989
Мова:
english
Файл:
PDF, 426 KB
english, 1989
12

Semantic trees for Dummett's logicLC

Рік:
1986
Мова:
english
Файл:
PDF, 448 KB
english, 1986
13

Directed frames

Рік:
1989
Мова:
english
Файл:
PDF, 769 KB
english, 1989
17

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms || Set theory

Рік:
2003
Мова:
english
Файл:
PDF, 2.39 MB
english, 2003
18

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms || Theory of algorithms

Рік:
2003
Мова:
english
Файл:
PDF, 1.96 MB
english, 2003
19

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms || Mathematical logic

Рік:
2003
Мова:
english
Файл:
PDF, 5.11 MB
english, 2003
20

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms || Theory of algorithms

Рік:
2003
Мова:
english
Файл:
PDF, 1.28 MB
english, 2003
21

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms || Mathematical logic

Рік:
2003
Мова:
english
Файл:
PDF, 3.13 MB
english, 2003
22

Free Quantified Epistemic Logics

Рік:
2013
Мова:
english
Файл:
PDF, 288 KB
english, 2013
25

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms || Set theory

Рік:
2003
Мова:
english
Файл:
PDF, 2.67 MB
english, 2003
26

A unified completeness theorem for quantified modal logics

Рік:
2002
Мова:
english
Файл:
PDF, 1.54 MB
english, 2002
27

Intuitionistic logic freed of all metarules

Рік:
2007
Мова:
english
Файл:
PDF, 904 KB
english, 2007
31

Selected Papers in Honour of Ettore Casari || Bull's Theorem by the Method of Diagrams

Рік:
1999
Мова:
english
Файл:
PDF, 1.16 MB
english, 1999
32

The Logical Status of Diagramsby Sun-Joo Shin

Рік:
1997
Мова:
english
Файл:
PDF, 325 KB
english, 1997
33

A Logic Characterized by the Class of Connected Models with Nested Domains

Рік:
1989
Мова:
english
Файл:
PDF, 1005 KB
english, 1989
35

Quantified modal logics of positive rational numbers and some related systems.

Рік:
1993
Мова:
english
Файл:
PDF, 1.69 MB
english, 1993